Prof. Dr. Lev D. Beklemishev

Aktuelle Kontaktadresse

Land	Russische Föderation
Ort	Moscow
Universität/Institution	Russian Academy of Sciences
Institut/Abteilung	V. A. Steklov Institute of Mathematics

Fachgebiet	Grundlagen der Mathematik, Logik, Mengenlehre
Keywords	proof theory, ordinal analysis, literated consistency